Nuprl Definition : list_n
2,24
postcript
pdf
A
List(
n
) == {
x
:(
A
List)| ||
x
|| =
n
}
latex
clarification:
A
List(
n
) == {
x
:(
A
List)| ||
x
|| =
n
}
latex
Definitions
||
as
||
FDL editor aliases
list_n
origin
} }